2. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده: علی اکبر پیمان
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع: نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
![](/design/images/bookmore.png)
3. ورودي به منطق رياضي
پدیدآورنده: نوشته ايزائيل سالامونوويچ ,ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی فلاورجان (اصفهان)
موضوع: مجموعه ها-نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
پدیدآورنده: اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
کتابخانه: كتابخانه عمومی میمند (فارس)
موضوع: مجموعه ها - نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. ورودي به منطق رياضي قضيه مستقيم و قضيه معکوس
پدیدآورنده: ايزائيل گرادشتين ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی خرامه (فارس)
موضوع: مجموعه ها - نظريه ها منطق صوري و رياضي
رده :
511
3-
گ
248
و
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. ورودي به منطق رياضي,قضيه مستقيم و معکوس
پدیدآورنده: ايسرائيل سالامونويچ کرادشتين,ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی بحر العلوم (خراسان رضوی)
موضوع: مجموعه نظريه منطق صوري رياضي
رده :
511
3-
گ
248
و
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. ورودی به منطق،قضیه مستقیم وقضیه معکوس
پدیدآورنده: / نوشته ایزائیل سالامونوویچ گرادشتین،ترجمه پرویز شهریاری
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: مجموعه ها- نظریه,منطق صوری ریاضی
رده :
۵۱۲
/
۹۰۴۲
گ
۲۴۸
و
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)